Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy

Source URL: www.cs.bham.ac.uk

• Algebra
• Abstract algebra
• Monad
• Coproduct
• Universal property
• Limit
• Monoidal categories
• Adjoint functors
• Category theory
• Functional programming

Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W

Source URL: www.kurims.kyoto-u.ac.jp

• Mathematics
• Topology
• Functional programming
• Monad
• Preorder
• Grothendieck topology
• Kleisli category
• Alexandrov topology
• Adjoint functors
• Category theory
• Order theory

arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory

Source URL: www.alainconnes.org

• Functor
• Adjoint functors
• Sheaf
• Initial and terminal objects
• Valuation
• Category of abelian groups
• Grothendieck topology
• Coproduct
• Tensor product
• Abstract algebra
• Algebra
• Category theory

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and

Source URL: www.brics.dk

• Universal property
• Lambda calculus
• Functor
• Combinatory logic
• Initial algebra
• Function
• Equivalence of categories
• Sheaf
• Coproduct
• Mathematics
• Category theory
• Abstract algebra

Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a

Source URL: users.cs.cf.ac.uk

• Knowledge representation
• Data management
• Computing
• Software engineering
• Equivalence of categories
• Spatial database
• Geographic information system
• Object
• Data model
• Database management systems
• Category theory
• Object-oriented programming

246 TUGboat, Volume), No. 3 Graphics Diagxy, a Lego-like diagram package

Source URL: www.tug.org

• Computing
• Functors
• Category theory
• Diagrams
• Commutative diagram
• Limit
• Arrow
• C syntax
• TeX
• Mathematics
• Computer programming
• Homological algebra

FOLIATIONS, C ∗ -ALGEBRAS AND INDEX THEORY EXAM EXERCICES Exercise 1. Let {An , τn , δin , σin , i ∈ {0, 1, ..., n}, n ∈ N} be a cyclic object in an abelian category. Check that rows of the cyclic bicomplex (*)

Source URL: toknotes.mimuw.edu.pl

Comparing two category-theory based logics for graphs ¨ Rapha¨el Cauderlier, Barbara Konig, Universit´e de Duisbourg - Essen ˆ 2010

Source URL: who.rocq.inria.fr

Journal of Machine Learning Research2594 Submitted 1/07; Revised 8/07; PublishedVC Theory of Large Margin Multi-Category Classifiers Yann Guermeur

Source URL: www.jmlr.org

Theory and Applications of Categories, Vol. 20, No. 7, 2008, pp. 116–151. CATEGORY-THEORETIC MODELS OF LINEAR ABADI & PLOTKIN LOGIC LARS BIRKEDAL AND RASMUS E. MØGELBERG AND RASMUS L. PETERSEN Abstract. This paper pr

Source URL: www.tac.mta.ca